mainframe testing types